Control flow analysis - PDFSEARCH.IO - Document Search Engine

Control flow analysis
Results: 217

#	Item
21	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-06-22 12:57:54 Software engineering Computing Computer programming Logic in computer science Programming language implementation Functional languages Compiler construction Programming languages Denotational semantics Compiler Lisp Semantics
22	Leveraging “Choice” to Automate Authorization Hook Placement Divya Muthukumaran Trent Jaeger Add to Reading List Source URL: www.cse.psu.edu Language: English - Date: 2012-12-21 22:14:54 Software engineering Security Computer programming Access control Computer access control Kernel JavaScript Object-oriented programming Data-flow analysis Database Program analysis
23	Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-07-01 11:20:10 Software engineering Computer programming Continuations Subroutines Memory management Control flow Models of computation Continuation-passing style Call stack Call-with-current-continuation Continuation Escape analysis
24	6577_EULER_PLA_COUVE_sans_rabat:27 Add to Reading List Source URL: fecma.eu Language: English - Date: 2015-02-20 09:39:14 Economy Finance Money Credit scoring Credit Cash flow Corporate finance Factoring Fundamental analysis Credit risk Credit control Bank
25	The Gradual Verifier Stephan Arlt1? , Cindy Rubio-Gonz´alez2 , Philipp R¨ ummer3?? , Martin Sch¨af4 , 4? ? ? and Natarajan Shankar 1 Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2014-02-10 21:42:15 Control flow Program analysis
26	Verification and Change-Impact Analysis of Access-Control Policies∗ Kathi Fisler Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-04-29 09:42:28 Computer security Security Access control Computer access control XACML Binary decision diagram PERMIS Information flow Role-based access control Policy analysis Security-Enhanced Linux Model checking
27	Modeling Dynamic Lift Response to Actuation Xuanhong An∗ David R. Williams† Illinois Institute of Technology, Chicago IL 60616, USA Jeff D. Eldredge‡ University of California Los Angeles, Los Angeles CA 90095, USA Add to Reading List Source URL: colonius.caltech.edu Language: English - Date: 2016-07-07 14:36:40 Actuators Systems science Systems theory Mathematical analysis Materials science Control theory Smart materials Automation Flow control Valve actuator Lift Convolution
28	Specialization of Imperative Programs through Analysis of Relational Expressions Alexander Sakharov Motorola 1501 W. Shure Drive Arlington Heights, IL 60004, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Control-flow analysis Interval Control flow graph Symbol Theoretical computer science
29	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software Software testing Automated theorem proving Concolic testing Symbolic execution Software metrics Control flow graph KeY Code coverage Algorithm Data-flow analysis GNU Core Utilities
30	Retargetable Infeasible Path Detection for WCET Analysis Zach Hall, Kory Kraft, Thomas Mincher, Joey Iannetta, Chris Healy Department of Computer Science Furman University Add to Reading List Source URL: www.control.lth.se Language: English - Date: 2015-07-09 03:36:07 Compiler construction Real-time computing Worst-case execution time Programming language implementation Basic block Compiler Control flow